Presburger arithmetic
[网络] 斯博格算术
热门查询
- chuckle n. 轻笑，窃笑 vi. 咯咯的笑，轻声地笑 vt. 轻声笑着表示
- arguably adv. 可论证地；可争辩地；正如可提出证据加以证明的那样地 [广义用法]可能，大概
- Christies n. 克丽丝蒂（品牌名）
- take action na. 动手；采取行动；采取(快速)措施；提起诉讼 [网络] 行动起来；采取措施；实施行动
- fretted adj. 焦躁的；腐蚀的；附有弦马的 v. 烦躁；侵蚀；耗损（fret的过去分词）
- appendage n. 附加物；下属；[动][解剖] 附器（如植物的枝叶和动物的腿尾）
- Bingley [人名] 宾利; [地名] [英国] 宾利
- chokehold n. 掐脖子; 压制
- showboating 卖弄（showboat的现在分词） 炫耀（showboat的现在分词）
- understandable adj. 可以理解的；可以了解的
- ideograph n. 象形文字；表意文字（等于ideogram）
- radius n. 半径，半径范围；[解剖] 桡骨；辐射光线；有效航程 n. (Radius)人名；(意、印尼)拉迪乌斯；(英)雷迪厄斯；(法)拉迪于斯
- stabiliser n. 稳定器，安定器，安定剂
- Berenice [女子名] 贝雷奈西来源于希腊语，含义是“带来胜利者”(bringer of victory); [地名] [埃及] 贝勒奈西（班加西的古称）; [地名] [美国] 贝勒奈西
- dilemma n. 困境；进退两难；两刀论法
- forsake vt. 放弃；断念
- Joachim n. 约阿希姆（姓氏）
- choked v. 使窒息（choke的过去式） adj. 堵塞的；生气的，恼怒的
- entwine vt. 缠住；盘绕；使缠绕 vi. 缠住；盘绕
- inherently adv. 内在地；固有地；天性地
